PUBTES[F76,JMC] - www.SailDart.org

perm filename PUBTES[F76,JMC] blob sn#244544 filedate 1976-10-27 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require"lispub.pub[206,lsp]"source
C00006 ENDMK
C⊗;
.require"lispub.pub[206,lsp]"source
.sec Pubtest

Let's try

	%3alt x ← {iff(qn x ∨ qn qd x,x,qa x . alt qdd x)}%1,

 and see if it works.